Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
231	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
232	Is the p-curve always right-skewed in observational research? We are thankful to Simonsohn, Nelson and Simmons (SNS) for the opportunity to directly reply to their blog post that discusses our article about p-hacking and Add to Reading List Source URL: datacolada.org Language: English - Date: 2016-06-08 05:10:46 Statistics Design of experiments Knowledge Science Causal inference Experiments Philosophy of science Formal sciences Spurious relationship Econometrics Confounding Causality
233	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
234	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
235	The Ontology of Tendencies and Medical Information Sciences Ludger Jansen Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland University, Postbox, 66041 Saarbrücken, Germany ludger.ja Add to Reading List Source URL: home.arcor.de Language: English - Date: 2006-05-26 05:18:52 Belief Causality Disposition Emotion Metaphysics
236	Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach Heinrich Herre Institut für Medizinische Informatik, Statistik und Epidemiologie Medizinische Fakultät, Universität Leipzig Add to Reading List Source URL: benking.de Language: English - Date: 2013-06-20 07:54:35 Ontology Information science Knowledge representation Technical communication Upper ontology General formal ontology Formal ontology Web Ontology Language Knowledge representation and reasoning Category of being Frame language Ontic
237	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
238	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
239	Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-11-24 11:55:34 Avionics Theoretical computer science Aircraft collision avoidance systems Warning systems Traffic collision avoidance system Air traffic control Formal methods Self-separation Unmanned aerial vehicle Formal verification
240	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing

UPDATE